c++ - __glibcxx_function_requires 和 __glibcxx_requires_valid_range 宏是如何工作的？